Introducing Exclusion Logic as a Deontic Logic
نویسنده
چکیده
This paper introduces Exclusion Logic a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
منابع مشابه
Using Exclusion Logic to Model Social Practices
This paper introduces Exclusion Logic a modal logic based on hierarchical finite-state machines. We show how Exclusion Logic can be used as a deontic logic to model social practices. We describe a computer implementation of Exclusion Logic in a multi-agent simulation, and explain how it efficiently resolves conflicts between incompatible norms.
متن کاملProhairetic Deontic Logic (PDL)
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. An obligation`should be (done) if is (done)' is true if (1) no :^ state is as preferable as an ^ state and (2) the preferred states are states. We show that the diierent elements of this mixed representation solve diierent problems of deontic logic. The rst part of the deenition is used to forma...
متن کاملEquivalence of defeasible normative systems
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programmin...
متن کاملTowards a Mapping of Deontic Logic onto an Abductive Framework
A number of approaches to agent society modeling can be found in the Multi-Agent Systems literature which exploit (variants of) Deontic Logic. In this paper, after briefly mentioning related approaches, we focus on the Computational Logic (CL) approach for society modeling developed within the UE IST-2001-32530 Project (named SOCS), where obligations and prohibitions are mapped into abducible p...
متن کاملMapping Deontic Operators to Abductive Expectations
A number of approaches to agent society modeling can be found in the Multi-Agent Systems literature which exploit (variants of) Deontic Logic. In this paper, after briefly mentioning related approaches, we focus on the Computational Logic (CL) approach for society modeling developed within the UE IST-2001-32530 Project (named SOCS), where obligations and prohibitions are mapped into abducible p...
متن کامل